Next generation intermediate representations for binary code analysis
نویسندگان
چکیده
منابع مشابه
Intermediate Representations of Mobile Code
s, Mathematical Reviews, MatSciNet, MatSci on SilverPlatter, Scopus, Zentralblatt Math The issuing of the Informatica journal is financially supported by the Ministry of Higher Education, Science and Technology, Trg OF 13, 1000 Ljubljana, Slovenia. Volume 32 Number 1 April 2008ISSN 0350-5596 Intermediate Representations of Mobile CodeW. Amme, T.S. Heinze,J. von Ronne1 Recent Dev...
متن کاملIntermediate Representations of Mobile Code
Over the past decade, since Java was first introduced and integrated into the Netscape web browser, several intermediate representations have been developed that might be potentially used for mobile code applications. This paper examines the requirements for a mobile code representation, presents several examples of stack-based, tree-oriented, and proof-annotating mobile code representations, a...
متن کاملMulticarrier code for the next-generation GPS
This article investigates multicarrier (MC) transmission for next-generation global positioning system (GPS) instead of current spread spectrum signals. A MC code is proposed in this article as an alternative to the coarse/acquisition (C/A) code in GPS. The entire GPS bandwidth for the C/A code is divided into 1,024 subcarrier slots. As per our proposed arrangement, each satellite vehicle (SV) ...
متن کاملAlias Analysis for Intermediate Code
Most existing alias analysis techniques are formulated in terms of high-level language constructs and are unable to cope with pointer arithmetic. For machines that do not have ’base + offset’ addressing mode, pointer arithmetic is necessary to compute a pointer to the desired address. Most state of the art compilers such as GCC lack the mechanism to determine aliasing between such computed poin...
متن کاملUser interface code generation for EJB-based data models using intermediate form representations
The use of J2EE platform enables data model development based on EJB components. Data modeling concepts of EJB technology, although resembling those of relational databases, are different and need new methods for automated user interface code generation. This paper presents a method for user interface code generation based on intermediate form representations that can be used to build equivalen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Institute for System Programming of the RAS
سال: 2018
ISSN: 2079-8156,2220-6426
DOI: 10.15514/ispras-2018-30(6)-3